<?php
include_once('header.inc.php');
$ch = $_SESSION['login'];
$_SESSION = array();
if(isset($_COOKIE[session_name()]))
   setcookie(session_name(), '', time()-42000, '/');
session_destroy();
redirection('index.php?deconnexion='.$ch);
?>